3121. Tools and algorithms for the construction and analysis of systems :
Author: Javier Esparza, Rupak Majumdar (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: System analysis, Congresses,System design, Congresses,Computer Systems.,Software Validation.,Systems Analysis.
Classification :
QA76
.
9
.
S88
T33
2010
3122. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
3123. Tools and algorithms for the construction and analysis of systems :
Author: Tomáš Vojnar, Lijun Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
Classification :
QA76
.
9
.
S88
3124. Tools and algorithms for the construction and analysis of systems
Author: Cormac Flanagan, Barbara König (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: System analysis, Congresses,System design, Congresses
Classification :
QA76
.
9
.
S88
T33
2012eb
3125. Tools and algorithms for the construction and analysis of systems
Author: Nir Piterman, Scott A. Smolka (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses
Classification :
QA76
.
9
.
S88
T33
2013
3126. Tools and algorithms for the construction and analysis of systems
Author: Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: System analysis, Congresses,System design, Congresses
Classification :
QA76
.
9
.
S88
T33
2011
3127. Topics in Mathematical Geology
Author: edited by M.A. Romanova, O.V. Sarmanov.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science.
Classification :
QE33
.
E358
1970
3128. Topics in Theoretical Computer Science
Author: \ Mohammad Taghi Hajiaghayi, Mohammad Reza Mousavi (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,کامپیوتر,a05,a05,Computer science -- Congresses,کامپیوتر-- کنگره ها
Classification :
QA
75
.
5
.
I32
T6
2016
E-Book
,
3129. Topics in cryptology -- CT-RSA 2018 :
Author: Nigel P. Smart (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science), Congresses.,Business & Economics-- Information Management.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information architecture.,Network hardware.,Software Engineering.
Classification :
QA76
.
9
.
A25
3130. Topics in the Mathematical Modelling of Composite Materials
Author: edited by Andrej Cherkaev, Robert Kohn.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.
3131. Topics in theoretical computer science :
Author: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
3132. Topology and Physics of Circular DNA (1992).
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Circular DNA.,Circular DNA.,SCIENCE-- Life Sciences-- Biology.
Classification :
QP624
.
5
.
C57
3133. Toward a national research network /
Author: National Research Network Review Committee, Computer Science and Technology Board, Commission on Physical Sciences, Mathematics, and Resources, National Research Council.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks.,Computer networks.,COMPUTERS-- Data Transmission Systems-- General.,COMPUTERS-- Networking-- Vendor Specific.
Classification :
TK5105
.
5
.
N4
1988eb
3134. Toward a safer and more secure cyberspace /
Author: Committee on Improving Cybersecurity Research in the United States, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies ; Seymour E. Goodman and Herbert S. Lin, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures.,Computer security.,Cyberterrorism-- Prevention.,Computer networks-- Security measures.,Computer security.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,Cyberterrorism-- Prevention.
Classification :
QA76
.
9
.
A25
T695
2007eb
3135. Toward deep neural networks :
Author: Yunong Zhang, Dechao Chen, Chengxu Ye
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Neural networks (Computer science),BUSINESS & ECONOMICS / Statistics,COMPUTERS / General,COMPUTERS / Machine Theory,Neural networks (Computer science)
Classification :
QA76
.
87
.
Z47537
2019eb
3136. Towards next generation grids :
Author: edited by Thierry Priol, Marco Vanneschi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational grids (Computer systems), Congresses.,Computational grids (Computer systems),Computational grids (Computer systems),COMPUTERS-- Client-Server Computing.,Informatique.
Classification :
QA76
.
9
.
C58
C675
2007eb
3137. Towards the Internet of Things :
Author: Mohammad Ali Jabraeil Jamali, Bahareh Bahrami, Arash Heidari, Parisa Allahverdizadeh, Farhad Norouzi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Internet of things.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Internet of things.
Classification :
TK5105
.
8857
3138. TraceME :
Author: by Marcela Ruiz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software.,Computer software-- Development.,Software engineering.,Application software.,Computer science.,Computer software-- Development.,Software engineering.
Classification :
QA76
.
758
.
R85
2018
3139. Transactions of the Tenth Prague Conference on Information Theory, Statistical Decision Functions, Random Processes :
Author: by J.A. Vísek.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Statistics.
3140. Transactions on Engineering Technologies :
Author: Sio-Iong Ao, Haeng Kon Kim, Mahyar A. Amouzegar, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering, Congresses.,Engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
Classification :
TA5
.
W67
2017
